Integrand size = 45, antiderivative size = 161 \[ \int \frac {A+B \cos (c+d x)+C \cos ^2(c+d x)}{\cos ^{\frac {3}{2}}(c+d x) (a+a \cos (c+d x))^{3/2}} \, dx=-\frac {(7 A-3 B-C) \arctan \left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {2} \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}\right )}{2 \sqrt {2} a^{3/2} d}-\frac {(A-B+C) \sin (c+d x)}{2 d \sqrt {\cos (c+d x)} (a+a \cos (c+d x))^{3/2}}+\frac {(5 A-B+C) \sin (c+d x)}{2 a d \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}} \]
[Out]
Time = 0.51 (sec) , antiderivative size = 161, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {3120, 3063, 12, 2861, 211} \[ \int \frac {A+B \cos (c+d x)+C \cos ^2(c+d x)}{\cos ^{\frac {3}{2}}(c+d x) (a+a \cos (c+d x))^{3/2}} \, dx=-\frac {(7 A-3 B-C) \arctan \left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {2} \sqrt {\cos (c+d x)} \sqrt {a \cos (c+d x)+a}}\right )}{2 \sqrt {2} a^{3/2} d}+\frac {(5 A-B+C) \sin (c+d x)}{2 a d \sqrt {\cos (c+d x)} \sqrt {a \cos (c+d x)+a}}-\frac {(A-B+C) \sin (c+d x)}{2 d \sqrt {\cos (c+d x)} (a \cos (c+d x)+a)^{3/2}} \]
[In]
[Out]
Rule 12
Rule 211
Rule 2861
Rule 3063
Rule 3120
Rubi steps \begin{align*} \text {integral}& = -\frac {(A-B+C) \sin (c+d x)}{2 d \sqrt {\cos (c+d x)} (a+a \cos (c+d x))^{3/2}}+\frac {\int \frac {\frac {1}{2} a (5 A-B+C)-a (A-B-C) \cos (c+d x)}{\cos ^{\frac {3}{2}}(c+d x) \sqrt {a+a \cos (c+d x)}} \, dx}{2 a^2} \\ & = -\frac {(A-B+C) \sin (c+d x)}{2 d \sqrt {\cos (c+d x)} (a+a \cos (c+d x))^{3/2}}+\frac {(5 A-B+C) \sin (c+d x)}{2 a d \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}+\frac {\int -\frac {a^2 (7 A-3 B-C)}{4 \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}} \, dx}{a^3} \\ & = -\frac {(A-B+C) \sin (c+d x)}{2 d \sqrt {\cos (c+d x)} (a+a \cos (c+d x))^{3/2}}+\frac {(5 A-B+C) \sin (c+d x)}{2 a d \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}-\frac {(7 A-3 B-C) \int \frac {1}{\sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}} \, dx}{4 a} \\ & = -\frac {(A-B+C) \sin (c+d x)}{2 d \sqrt {\cos (c+d x)} (a+a \cos (c+d x))^{3/2}}+\frac {(5 A-B+C) \sin (c+d x)}{2 a d \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}+\frac {(7 A-3 B-C) \text {Subst}\left (\int \frac {1}{2 a^2+a x^2} \, dx,x,-\frac {a \sin (c+d x)}{\sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}\right )}{2 d} \\ & = -\frac {(7 A-3 B-C) \arctan \left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {2} \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}\right )}{2 \sqrt {2} a^{3/2} d}-\frac {(A-B+C) \sin (c+d x)}{2 d \sqrt {\cos (c+d x)} (a+a \cos (c+d x))^{3/2}}+\frac {(5 A-B+C) \sin (c+d x)}{2 a d \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}} \\ \end{align*}
Result contains higher order function than in optimal. Order 5 vs. order 3 in optimal.
Time = 5.00 (sec) , antiderivative size = 455, normalized size of antiderivative = 2.83 \[ \int \frac {A+B \cos (c+d x)+C \cos ^2(c+d x)}{\cos ^{\frac {3}{2}}(c+d x) (a+a \cos (c+d x))^{3/2}} \, dx=\frac {\cos ^3\left (\frac {1}{2} (c+d x)\right ) \left (30 (A-B+C) \arctan \left (\frac {1-2 \sin \left (\frac {1}{2} (c+d x)\right )}{\sqrt {\cos (c+d x)}}\right )-30 (A-B+C) \arctan \left (\frac {1+2 \sin \left (\frac {1}{2} (c+d x)\right )}{\sqrt {\cos (c+d x)}}\right )-\frac {20 (A-B+C) \sqrt {\cos (c+d x)}}{-1+\sin \left (\frac {1}{2} (c+d x)\right )}+\frac {80 C \sin \left (\frac {1}{2} (c+d x)\right )}{\sqrt {\cos (c+d x)}}-\frac {20 (A-B+C) \sqrt {\cos (c+d x)}}{1+\sin \left (\frac {1}{2} (c+d x)\right )}+\frac {5 (A-B+C) \left (-1+2 \sin \left (\frac {1}{2} (c+d x)\right )\right )}{\sqrt {\cos (c+d x)} \left (\cos \left (\frac {1}{4} (c+d x)\right )+\sin \left (\frac {1}{4} (c+d x)\right )\right )^2}-\frac {5 (A-B+C) \left (1+2 \sin \left (\frac {1}{2} (c+d x)\right )\right )}{\sqrt {\cos (c+d x)} \left (-1+\sin \left (\frac {1}{2} (c+d x)\right )\right )}+\frac {(A+3 B-7 C) \csc ^3\left (\frac {1}{2} (c+d x)\right ) \left (5 (1+4 \cos (c+d x)+\cos (2 (c+d x))) \left (1-\cos (c+d x)+\text {arctanh}\left (\sqrt {-\sec (c+d x) \sin ^2\left (\frac {1}{2} (c+d x)\right )}\right ) \cos (c+d x) \sqrt {2-2 \sec (c+d x)}\right )-2 \operatorname {Hypergeometric2F1}\left (2,\frac {5}{2},\frac {7}{2},-\sec (c+d x) \sin ^2\left (\frac {1}{2} (c+d x)\right )\right ) \sin ^4\left (\frac {1}{2} (c+d x)\right ) \sin (c+d x) \tan (c+d x)\right )}{2 \cos ^{\frac {3}{2}}(c+d x)}\right )}{10 d (a (1+\cos (c+d x)))^{3/2}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(362\) vs. \(2(136)=272\).
Time = 13.28 (sec) , antiderivative size = 363, normalized size of antiderivative = 2.25
method | result | size |
default | \(\frac {\left (7 A \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \left (\cos ^{2}\left (d x +c \right )\right )-3 B \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \left (\cos ^{2}\left (d x +c \right )\right )-C \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \left (\cos ^{2}\left (d x +c \right )\right )+7 A \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \cos \left (d x +c \right )+10 A \cos \left (d x +c \right ) \sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}-3 B \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \cos \left (d x +c \right )-2 B \cos \left (d x +c \right ) \sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}-C \cos \left (d x +c \right ) \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )+2 C \cos \left (d x +c \right ) \sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}+8 A \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\, \sin \left (d x +c \right )\right ) \sqrt {a \left (1+\cos \left (d x +c \right )\right )}}{4 a^{2} d \left (1+\cos \left (d x +c \right )\right )^{2} \sqrt {\cos \left (d x +c \right )}\, \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}}\) | \(363\) |
parts | \(\frac {A \left (7 \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\, \left (\cos ^{2}\left (d x +c \right )\right ) \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )+5 \sin \left (d x +c \right ) \cos \left (d x +c \right ) \sqrt {2}+14 \cos \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )+4 \sqrt {2}\, \sin \left (d x +c \right )+7 \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )\right ) \sqrt {a \left (1+\cos \left (d x +c \right )\right )}\, \sqrt {2}}{4 d \left (1+\cos \left (d x +c \right )\right )^{2} \sqrt {\cos \left (d x +c \right )}\, a^{2}}-\frac {B \sqrt {-\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}+1}\, \sqrt {\frac {a}{\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}+1}}\, \left (\sqrt {-\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}+1}\, \left (\csc \left (d x +c \right )-\cot \left (d x +c \right )\right )+3 \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )\right ) \sqrt {2}}{4 d \sqrt {-\frac {\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}-1}{\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}+1}}\, a^{2}}+\frac {C \left (\sin \left (d x +c \right ) \sqrt {2}\, \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}-\arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \cos \left (d x +c \right )-\arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )\right ) \sqrt {a \left (1+\cos \left (d x +c \right )\right )}\, \left (\sqrt {\cos }\left (d x +c \right )\right ) \sqrt {2}}{4 d \left (1+\cos \left (d x +c \right )\right )^{2} \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\, a^{2}}\) | \(511\) |
[In]
[Out]
none
Time = 0.33 (sec) , antiderivative size = 211, normalized size of antiderivative = 1.31 \[ \int \frac {A+B \cos (c+d x)+C \cos ^2(c+d x)}{\cos ^{\frac {3}{2}}(c+d x) (a+a \cos (c+d x))^{3/2}} \, dx=-\frac {\sqrt {2} {\left ({\left (7 \, A - 3 \, B - C\right )} \cos \left (d x + c\right )^{3} + 2 \, {\left (7 \, A - 3 \, B - C\right )} \cos \left (d x + c\right )^{2} + {\left (7 \, A - 3 \, B - C\right )} \cos \left (d x + c\right )\right )} \sqrt {a} \arctan \left (\frac {\sqrt {2} \sqrt {a \cos \left (d x + c\right ) + a} \sqrt {a} \sqrt {\cos \left (d x + c\right )} \sin \left (d x + c\right )}{2 \, {\left (a \cos \left (d x + c\right )^{2} + a \cos \left (d x + c\right )\right )}}\right ) - 2 \, {\left ({\left (5 \, A - B + C\right )} \cos \left (d x + c\right ) + 4 \, A\right )} \sqrt {a \cos \left (d x + c\right ) + a} \sqrt {\cos \left (d x + c\right )} \sin \left (d x + c\right )}{4 \, {\left (a^{2} d \cos \left (d x + c\right )^{3} + 2 \, a^{2} d \cos \left (d x + c\right )^{2} + a^{2} d \cos \left (d x + c\right )\right )}} \]
[In]
[Out]
\[ \int \frac {A+B \cos (c+d x)+C \cos ^2(c+d x)}{\cos ^{\frac {3}{2}}(c+d x) (a+a \cos (c+d x))^{3/2}} \, dx=\int \frac {A + B \cos {\left (c + d x \right )} + C \cos ^{2}{\left (c + d x \right )}}{\left (a \left (\cos {\left (c + d x \right )} + 1\right )\right )^{\frac {3}{2}} \cos ^{\frac {3}{2}}{\left (c + d x \right )}}\, dx \]
[In]
[Out]
\[ \int \frac {A+B \cos (c+d x)+C \cos ^2(c+d x)}{\cos ^{\frac {3}{2}}(c+d x) (a+a \cos (c+d x))^{3/2}} \, dx=\int { \frac {C \cos \left (d x + c\right )^{2} + B \cos \left (d x + c\right ) + A}{{\left (a \cos \left (d x + c\right ) + a\right )}^{\frac {3}{2}} \cos \left (d x + c\right )^{\frac {3}{2}}} \,d x } \]
[In]
[Out]
\[ \int \frac {A+B \cos (c+d x)+C \cos ^2(c+d x)}{\cos ^{\frac {3}{2}}(c+d x) (a+a \cos (c+d x))^{3/2}} \, dx=\int { \frac {C \cos \left (d x + c\right )^{2} + B \cos \left (d x + c\right ) + A}{{\left (a \cos \left (d x + c\right ) + a\right )}^{\frac {3}{2}} \cos \left (d x + c\right )^{\frac {3}{2}}} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {A+B \cos (c+d x)+C \cos ^2(c+d x)}{\cos ^{\frac {3}{2}}(c+d x) (a+a \cos (c+d x))^{3/2}} \, dx=\int \frac {C\,{\cos \left (c+d\,x\right )}^2+B\,\cos \left (c+d\,x\right )+A}{{\cos \left (c+d\,x\right )}^{3/2}\,{\left (a+a\,\cos \left (c+d\,x\right )\right )}^{3/2}} \,d x \]
[In]
[Out]